+++Struct double-int:
size=16,align=8,offset-double=0,offset-int=8,
align-double=8,align-int=4
